Update on Safe Medical Device

Type-Safe Update Programming

Many software maintenance problems are caused by using text editors to change programs. A more systematic and reliable way of performing program updates is to express changes with an update language. In particular, updates should preserve the syntaxand typecorrectness of the transformed object programs. We describe an update calculus that can be used to update lambdacalculus programs. We develo...

Digits Recognition on Medical Device

With the rapid development of mobile health, mechanisms for automatic data input are becoming increasingly important for mobile health apps. In these apps, users are often required to input data frequently, especially numbers, from medical devices such as glucometers and blood pressure meters. However, these simple tasks are tedious and prone to error. Even though some Bluetooth devices can mak...

Live Update for Device Drivers

As commodity operating systems become more reliable and fault-tolerant, the availability of a system will be determined not by when it crashes, but instead by when it must be shutdown and rebooted due to software maintenance [12, 21]. While many system components can be upgraded on-line, critical low-level components, such as device drivers and other kernel extensions, cannot be updated without...

Update on Medical Therapies of Nasopharyngeal Carcinoma

Update on medical treatment for Cushing’s disease

Cushing's disease (CD) is the most common cause of endogenous Cushing's syndrome (CS). The goal of treatment is to rapidly control cortisol excess and achieve long-term remission, to reverse the clinical features and reduce long-term complications associated with increased mortality. While pituitary surgery remains first line therapy, pituitary radiotherapy and bilateral adrenalectomy have trad...